is pythagoras theorem always true